Philosophers of experiment have acknowledged that experiments are often more than mere hypothesis-tests, once thought to be an experiment's exclusive calling. Drawing on examples from contemporary biology, I make an additional amendment to our understanding of experiment by examining the way that `wide' instrumentation can, for reasons of efficiency, lead scientists away from traditional hypothesis-directed methods of experimentation and towards exploratory methods.

Among the factors necessary for the occurrence of some event, which of these are selectively highlighted in its explanation and labeled as causes — and which are explanatorily omitted, or relegated to the status of background conditions? Following J. S. Mill, most have thought that only a pragmatic answer to this question was possible. In this paper I suggest we understand this ‘causal selection problem’ in causal-explanatory terms, and propose that explanatory trade-offs between abstraction and stability can provide a principled (...) solution to it. After sketching that solution, it is applied to a few biological examples, including to a debate concerning the ‘causal democracy’ of organismal development, with an anti-democratic (though not a gene-centric) moral. (shrink)

Philosophical discussions of species have focused on multicellular, sexual animals and have often neglected to consider unicellular organisms like bacteria. This article begins to fill this gap by considering what species concepts, if any, apply neatly to the bacterial world. First, I argue that the biological species concept cannot be applied to bacteria because of the variable rates of genetic transfer between populations, depending in part on which gene type is prioritized. Second, I present a critique of phylogenetic bacterial species, (...) arguing that phylogenetic bacterial classification requires a questionable metaphysical commitment to the existence of essential genes. I conclude by considering how microbiologists have dealt with these biological complexities by using more pragmatic and not exclusively evolutionary accounts of species. I argue that this pragmatism is not borne of laziness but rather of the substantial conceptual problems in classifying bacteria based on any evolutionary standard. (shrink)

This paper critiques the new mechanistic explanatory program on grounds that, even when applied to the kinds of examples that it was originally designed to treat, it does not distinguish correct explanations from those that blunder. First, I offer a systematization of the explanatory account, one according to which explanations are mechanistic models that satisfy three desiderata: they must 1) represent causal relations, 2) describe the proper parts, and 3) depict the system at the right ‘level.’ Second, I argue that (...) even the most developed attempts to fulfill these desiderata fall short by failing to appropriately constrain explanatorily apt mechanistic models. -/- *This paper used to be called "The Emperor's New Mechanisms". (shrink)

Nearly all defences of the agent-causal theory of free will portray the theory as a distinctively libertarian one — a theory that only libertarians have reason to accept. According to what I call ‘the standard argument for the agent-causal theory of free will’, the reason to embrace agent-causal libertarianism is that libertarians can solve the problem of enhanced control only if they furnish agents with the agent-causal power. In this way it is assumed that there is only reason to accept (...) the agent-causal theory if there is reason to accept libertarianism. I aim to refute this claim. I will argue that the reasons we have for endorsing the agent-causal theory of free will are nonpartisan. The real reason for going agent-causal has nothing to do with determinism or indeterminism, but rather with avoiding reductionism about agency and the self. As we will see, if there is reason for libertarians to accept the agent-causal theory, there is just as much reason for compatibilists to accept it. It is in this sense that I contend that if anyone should be an agent-causalist, then everyone should be an agent-causalist. (shrink)

Blaming (construed broadly to include both blaming-attitudes and blaming-actions) is a puzzling phenomenon. Even when we grant that someone is blameworthy, we can still sensibly wonder whether we ought to blame him. We sometimes choose to forgive and show mercy, even when it is not asked for. We are naturally led to wonder why we shouldn’t always do this. Wouldn’t it be a better to wholly reject the punitive practices of blame, especially in light of their often undesirable effects, and (...) embrace an ethic of unrelenting forgiveness and mercy? In this paper I seek to address these questions by offering an account of blame that provides a rationale for thinking that to wholly forswear blaming blameworthy agents would be deeply mistaken. This is because, as I will argue, blaming is a way of valuing, it is “a mode of valuation.” I will argue that among the minimal standards of respect generated by valuable objects, notably persons, is the requirement to redress disvalue with blame. It is not just that blame is something additional we are required to do in properly valuing, but rather blame is part of what that it is to properly value. Blaming, given the existence of blameworthy agents, is mode of valuation required by the standards of minimal respect. To forswear blame would be to fail value what we ought to value. (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

The universality of critical phenomena is best explained by appeal to the Renormalisation Group (RG). Batterman and Morrison, among others, have claimed that this explanation is irreducible. I argue that the RG account is reducible, but that the higher-level explanation ought not to be eliminated. I demonstrate that the key assumption on which the explanation relies – the scale invariance of critical systems – can be explained in lower-level terms; however, we should not replace the RG explanation with a bottom-up (...) account, rather we should acknowledge that the explanation appeals to dependencies which may be traced down to lower levels. (shrink)

Pascal’s wager and Leibniz’s theory that this is the best of all possible worlds are latecomers in the Faith-and-Reason tradition. They have remained interlopers; they have never been taken as seriously as the older arguments for the existence of God and other themes related to faith and reason.

Though biologists identify individuals as ‘male’ or ‘female’ across a broad range of animal species, the particular traits exhibited by males and females can vary tremendously. This diversity has led some to conclude that cross-animal sexes (males, or females, of whatever animal species) have “little or no explanatory power” (Dupré 1986: 447) and, thus, are not natural kinds in any traditional sense. This essay will explore considerations for and against this conclusion, ultimately arguing that the animal sexes, properly understood, are (...) “historical explanatory kinds”: groupings that can be scientifically significant even while their members differ radically in their current properties and particular histories. Whether this makes them full-fledged natural kinds is a question I take up at the very end. (shrink)

Some courses achieve existence, some have to create Professional Issues and Ethics in existence thrust upon them. It is normally Mathematics; but if you don’t do it, we will a struggle to create a course on the ethical be.” I accepted. or social aspects of science or mathematics. The gift of a greenfield site and a bull- This is the story of one that was forced to dozer is a happy occasion, undoubtedly. But exist by an unusual confluence of outside (...) cirwhat to do next? It seemed to me I should cumstances. ensure the course satisfied these require- In the mid 1990s, the University of New ments: South Wales instituted a policy that all its • It should look good to students, to staff. (shrink)

The Tree of Life has traditionally been understood to represent the history of species lineages. However, recently researchers have suggested that it might be better interpreted as representing the history of cellular lineages, sometimes called the Tree of Cells. This paper examines and evaluates reasons offered against this cellular interpretation of the Tree of Life. It argues that some such reasons are bad reasons, based either on a false attribution of essentialism, on a misunderstanding of the problem of lineage identity, (...) or on a limited view of scientific representation. I suggest that debate about the Tree of Cells and other successors to the traditional Tree of Life should be formulated in terms of the purposes these representations may serve. In pursuing this strategy, we see that the Tree of Cells cannot serve one purpose suggested for it: as an explanation for the hierarchical nature of taxonomy. We then explore whether, instead, the tree may play an important role in the dynamic modeling of evolution. As highly-integrated complex systems, cells may influence which lineage components can successfully transfer into them and how they change once integrated. Only if they do in fact have a substantial role to play in this process might the Tree of Cells have some claim to be the Tree of Life. (shrink)

The objective Bayesian view of proof (or logical probability, or evidential support) is explained and defended: that the relation of evidence to hypothesis (in legal trials, science etc) is a strictly logical one, comparable to deductive logic. This view is distinguished from the thesis, which had some popularity in law in the 1980s, that legal evidence ought to be evaluated using numerical probabilities and formulas. While numbers are not always useful, a central role is played in uncertain reasoning by the (...) ‘proportional syllogism’, or argument from frequencies, such as ‘nearly all aeroplane flights arrive safely, so my flight is very likely to arrive safely’. Such arguments raise the ‘problem of the reference class’, arising from the fact that an individual case may be a member of many different classes in which frequencies differ. For example, if 15 per cent of swans are black and 60 per cent of fauna in the zoo is black, what should I think about the likelihood of a swan in the zoo being black? The nature of the problem is explained, and legal cases where it arises are given. It is explained how recent work in data mining on the relevance of features for prediction provides a solution to the reference class problem. (shrink)

An essay on the compatibility of Jewish and Muslim aspirations for the Land that argues that a vision of peaceful coexistence to provide a spur to the settling of grievances, but that this vision must respect the deeply felt aspirations of both communities, including in particular those underpinned by religious lore. Existing formulations of the aims of each community are blatantly inconsistent; it is time to attempt to characterise the just and religiously authentic goals of each community in ways that (...) are compatible. I argue that there religious and personal dimensions of the conflict that have been displaced by less deep-seated political goals, but which can be addressed more readily. I outline a tiered constitutional settlement that could address legitimate aspirations by avoiding the anathema of partition. (shrink)

Multiple realisation prompts the question: how is it that multiple systems all exhibit the same phenomena despite their different underlying properties? In this paper I develop a framework for addressing that question and argue that multiple realisation can be reductively explained. I illustrate this position by applying the framework to a simple example – the multiple realisation of electrical conductivity. I defend my account by addressing potential objections:contra Polger and Shapiro, Batterman, and Sober, I claim that multiple realisation is commonplace, (...) that it can be reductively explained, but that it requires asui generisreductive explanatory strategy. (shrink)

Philosophical theories of explanation characterize the difference between correct and incorrect explanations. While remaining neutral as to which of these ‘first-order’ theories is right, this paper asks the ‘meta-explanatory’ question: is the difference between correct and incorrect explanation real, i.e., objective or mind-independent? After offering a framework for distinguishing realist from anti-realist views, I sketch three distinct paths to explanatory anti-realism.

El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...) inaccesibles menores que κ , y (iii) Si existe un cardinal medible, entonces el axioma de constructibilidad (V=L) es falso. El objetivo de este artículo es presentar una demostración de cada uno de estos tres teoremas en el contexto de la teoría de modelos usando ideas del texto de Chang y Keisler (Model Theory). Tales demostraciones tienen en común el uso del método de construcción de modelos llamado ultraproductos, de lógicas infinitarias o fragmentos de la lógica de segundo orden, y del axioma de elección. Cardinales grandes y/o ultraproductos son importantes en teoría de conjuntos, teoría de modelos, análisis matemático, teoría de la medida, probabilidades, topología, análisis funcional, física, teoría de números, finanzas, etc. (shrink)

Even where willingness-to-pay as a measure of welfare impact is adjusted for diminishing marginal utility, welfare economics is shown to favour policies that add to the life expectancy or that enhance the quality of life of persons who are already better-off. I propose an alternative, Equal Respect methodology, under an axiomatic claim that at the point of decision the prospective life years of all individuals are of equal intrinsic social value. This justifies equal valuation of risk mitigation across all persons; (...) similarly, all appraised impacts should be scaled to accord equal respect to difficult but no-less-valuable lives. (shrink)

Many liberals assume that, while children should not be rigidly indoctrinated, parents may raise them according to their own comprehensive values. Matthew Clayton, however, argues that the reasons for embracing antiperfectionism in politics also apply to parental authority. In this paper, I defend the perfectionist conception of childrearing. I claim that we cannot realistically foster a child’s sense of justice without embedding it in a comprehensive doctrine. Furthermore, I argue that since parents cannot avoid bearing some responsibility for their children’s (...) intial orientation to comprehensive doctrines, they are justified in parenting according to their own views of the valuable and true. (shrink)

Broadly construed, moral sentimentalism is the position that human emotions or sentiments play a crucial role in our best normative or descriptive accounts of moral value or judgments thereof. In this paper, I introduce and sketch a defense of a new form of moral sentimentalism I call “Transcendental Sentimentalism”. According to transcendental sentimentalism, having a sentimental response to an object is a necessary condition of the possibility of a subject counting as having non-inferential evaluative knowledge about that object. In unpacking (...) each component of this position, I argue that it is both distinct from and more explanatorily attractive than the other approaches to explaining the relationship between emotion and moral thought, including what Kauppinen (2014, forthcoming) calls epistemological sentimentalism and explanatory sentimentalism. I conclude by offering a sketch of what I take to be the most promising strategy for demonstrating the truth of transcendental sentimentalism, suggesting an original form of transcendental argument. If successful, this form of argument would establish transcendental sentimentalism by demonstrating that not having a sentimental response to x disqualifies (in the normative sense) a person from counting as having non-inferential evaluative knowledge of x. (shrink)

"Does life have a meaning, and if so what is it? What can I be certain of, and how should I act when I am not certain? Why are the established truths of my tribe better than the primitive superstitions of your tribe? Why should I do as I'm told? Those are questions it is easy to avoid, in the rush to acquire goods and prestige. Even for many of a more serious outlook, they are questions easy to dismiss with (...) excuses like 'it's all a matter of opinion' or 'let's get on with practical matters' or 'they're too hard.' They are questions that may be ignored, but they do not go away." The article develops some of the themes of the author's 2003 book, Corrupting the Youth: A History of Philosophy in Australia, as they relate to the realist currents of Sydney philosophy. (shrink)

The aim of this work is to demarcate, develop, and defend the commitments and consequences of metaethical minimalism. Very roughly, this is the position that a commitment to objective moral truths does not require any accompanying ontological commitments. While there are few, if any, who call themselves “metaethical minimalists”, I endeavor to uncover existing articulations of metaethical minimalism which have been presented under different names, attempting to identify the common ground between them. As I interpret the position, all metaethical minimalists (...) are committed to the same positive pair of claims (what I call the Objectivity Thesis): “a) Moral truths are strongly mind-independent; b) there are moral truths.” Taken by itself, however, this pair of claims is not sufficient for differentiating their view from the moral realist’s. Consequently, the minimalist must also articulate that which they are denying about the non-minimalist approach, or what I call the “negative ontological thesis”. I offer my own version of this negative thesis and argue for its dialectical advantages. -/- In Chapters 3 and 4, I focus my attention on attacks on the viability of metaethical minimalism in the form of two “challenges” that aim to problematize a commitment to objective moral truths absent any accompanying ontological commitment. The big-picture takeaway from these chapters is that minimalism can defend itself by playing to the dialectical advantage I find for it in Chapter 2 as well as by being creative about minimalist constructions/reworkings of plausible principles/lines of reasoning that seem to contradict it. -/- The temptation to embrace quietism is strong among minimalists, but in Chapters 5, 6, and 7 I aim to show that there is a positive alternative available for the minimalist interested in developing a full picture of their position. Chapter 5 is aimed at providing an adequate understanding of the distinction between the objects of purely normative thoughts and objects of thoughts about reality. Building on this are Chapters 6 and 7, which argue in favor of an account of the relationship between emotion and evaluative knowledge that is consistent with metaethical minimalism. (shrink)

ABSTRACT Although in recent years Christine Ladd-Franklin has received recognition for her contributions to logic and psychology, her role in late nineteenth- and early twentieth-century philosophy, as well as her relationship with American pragmatism, has yet to be fully appreciated. My goal here is to attempt to better understand Ladd-Franklin’s place in the pragmatist tradition by drawing attention to her work on the nature and unity of the proposition. The question concerning the unity of the proposition – namely, (...) the problem of how to determine what differentiates a mere collection of terms from a unified and meaningful proposition – received substantial attention in Ladd-Franklin’s time, and would continue to interest analytic philosophers well into the twentieth century. I argue that Ladd-Franklin had a distinct theory of the proposition and solution to the problem of the unity of the proposition that she developed over the course of her writings on logic and philosophy. In spelling out her views, I will also show her work interacted with and influenced that of the pragmatist who was her greatest influence, C.S. Peirce. (shrink)

Una breve rassegna della vita e dell'autobiografia spirituale dell'unico mistico americano Adi Da (Franklin Jones). L'adesivo sulla copertina di alcune edizioni dice 'L'autobiografia spirituale più profonda di tutti i tempi' e questo potrebbe essere vero. Ho 70 anni e ho letto molti libri di insegnanti spirituali e sulla spiritualità, e questo è uno dei più grandi. Certamente, è by lontano il resoconto più completo e piùchiaro del processo di illuminazione che abbia mai visto. Anche se non hai alcun interesse (...) nel più affascinante di tutti i processi psicologici umani, è un documento incredibile che rivela molto sulla religione, lo yoga e la psicologia umana e sonda le profondità e i limiti delle possibilità umane. Lo descrivo in dettaglio e paragono il suo insegnamento a quello del mistico indiano contemporaneo Osho. Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'TalkingMonkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

I praise Franklin's full descriptions of important and exemplary experiments, and wish that he had said more about why they are exemplary.

Tarihin nesnel olarak yazılamayacağının fark edilmesinin ardından bilim tarihi yazımında da bazı dönüşümler olmuştur. Bu değişiklikler genellikle olumlu olsa da bazı tarih yazımı tartışmaları bilim tarihi metinlerine yeterince yansımamıştır. Bu yazıda Rosalind Franklin örneği üzerinden kadın bilimcilerin bilim tarihinde nasıl ele alındığını tartıştım. Kadınlara bilim tarihinde hak ettikleri yeri verme çabamız sırasında bilim tarihçileri olarak nelere dikkat etmemiz gerektiğini ele aldım. Özellikle vurguladığım noktalar bilimsel araştırma biçimlerinin doğru yansıtılması, kurumsal ayrımcılıkların üstünün örtülmesinden kaçınılması ve ele alınan figürün bilime katkısının (...) açıkça yazılması oldu. Yazıda Franklin hakkındaki literatüre bir katkı sunmayı amaçladım ancak daha da önemlisi Franklin başta olmak üzere kadın bilimciler hakkındaki metinlerde sık yapılan hatalara işaret etmek istedim. -/- Following the realization that history cannot be written objectively, there have been some transformations in the historiography of science. Although these changes are generally positive, some historiography debates have not been adequately reflected in historical texts on science. In this article, I discussed how women scientists are represented in the history of science through the case of Rosalind Franklin. In our effort to give women the place they deserve in the history of science, I have discussed what should we pay attention to as historians of science. My particular emphasis was on reflecting the structure of scientific research correctly, avoiding covering institutional discrimination and clearly writing the contribution of the figure discussed to science. I intend to make a contribution to the literature on Franklin, but more importantly, I tried to point out some common mistakes in texts about women scientists, especially Franklin. (shrink)

A brief review of the life and spiritual autobiography of the unique American mystic Adi Da (Franklin Jones). The sticker on the cover of some editions says `The most profound spiritual autobiography of all time` and this might well be true. I am in my 70´s and have read many books by spiritual teachers and on spirituality, and this is one of the greatest ones. Certainly it is by far the fullest and clearest account of the process of enlightenment (...) I have ever seen. Even if you have no interest at all in the most fascinating of all human psychological processes, it is an amazing document that reveals a great deal about religion, yoga, and human psychology and probes the depths and limits of human possibilities. I describe it in some detail and compare his teaching with that of the Indian mystic Osho. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

A brief review of the life and spiritual autobiography of the unique American mystic Adi Da (Franklin Jones). The sticker on the cover of some editions says `The most profound spiritual autobiography of all time` and this might well be true. I am in my 70´s and have read many books by spiritual teachers and on spirituality, and this is one of the greatest. Certainly, it is by far the fullest and clearest account of the process of enlightenment I (...) have ever seen. Even if you have no interest at all in the most fascinating of all human psychological processes, it is an amazing document that reveals a great deal about religion, yoga, and human psychology and probes the depths and limits of human possibilities. I describe it in some detail and compare his teaching with that of the Contemporary Indian mystic Osho. Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Comparative valuation of different policy interventions often requires interpersonal comparability of benefit. In the field of health economics, the metric commonly used for such comparison, quality adjusted life years (QALYs) gained, has been criticized for failing to respect the equality of all persons’ intrinsic worth, including particularly those with disabilities. A methodology is proposed that interprets ‘full quality of life’ as the best health prospect that is achievable for the particular individual within the relevant budget constraint. This calibration is challenging (...) both conceptually and operationally as it shifts dramatically when technology or budget developments alter what can be achieved for incapacitated individuals. The proposal nevertheless ensures that the maximal achievable satisfaction of one person’s preferences can carry no more intrinsic value than that of another. This approach, which can be applied to other domains of social valuation, thus prevents implicit discrimination against the elderly and those with irremediable incapacities. (shrink)

Explains Aristotle's views on the possibility of continuous variation between biological species. While the Porphyrean/Linnean classification of species by a tree suggests species are distributed discretely, Aristotle admitted continuous variation between species among lower life forms.

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as presently (...) formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

In 1947 Donald Cary Williams claimed in The Ground of Induction to have solved the Humean problem of induction, by means of an adaptation of reasoning first advanced by Bernoulli in 1713. Later on David Stove defended and improved upon Williams’ argument in The Rational- ity of Induction (1986). We call this proposed solution of induction the ‘Williams-Stove sampling thesis’. There has been no lack of objections raised to the sampling thesis, and it has not been widely accepted. In our (...) opinion, though, none of these objections has the slightest force, and, moreover, the sampling thesis is undoubtedly true. What we will argue in this paper is that one particular objection that has been raised on numerous occasions is misguided. This concerns the randomness of the sample on which the inductive extrapolation is based. (shrink)

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

Both realist and anti-realist accounts of natural kinds possess prima facie virtues: realists can straightforwardly make sense of the apparent objectivity of the natural kinds, and anti-realists, their knowability. This paper formulates a properly anti-realist account designed to capture both merits. In particular, it recommends understanding natural kinds as ‘categorical bottlenecks,’ those categories that not only best serve us, with our idiosyncratic aims and cognitive capacities, but also those of a wide range of alternative agents. By endorsing an ultimately subjective (...) categorical principle, this view sidesteps epistemological difficulties facing realist views. Yet, it nevertheless identifies natural kinds that are fairly, though not completely, stance-independent or objective. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few (...) who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

It is commonly claimed that the universality of critical phenomena is explained through particular applications of the renormalization group. This article has three aims: to clarify the structure of the explanation of universality, to discuss the physics of such RG explanations, and to examine the extent to which universality is thus explained. The derivation of critical exponents proceeds via a real-space or a field-theoretic approach to the RG. Building on work by Mainwood, this article argues that these approaches ought to (...) be distinguished: while the field-theoretic approach explains universality, the real-space approach fails to provide an adequate explanation. (shrink)

Many philosophers of science are ontologically committed to a lush rainforest of special science entities ), but are often reticent about the criteria that determine which entities count as real. On the other hand, the metaphysics literature is much more forthcoming about such criteria, but often links ontological commitment to irreducibility. We argue that the irreducibility criteria are in tension with scientific realism: for example, they would exclude viruses, which are plausibly theoretically reducible and yet play a sufficiently important role (...) in scientific accounts of the world that they should be included in our ontology. In this paper, we show how the inhabitants of the rainforest can be inoculated against the eliminative threat of reduction: by demonstrating that they are emergent. According to our account, emergence involves a screening off condition as well as novelty. We go on to demonstrate that this account of emergence, which is compatible with theoretical reducibility, satisfies common intuitions concerning what should and shouldn't count as real: viruses are emergent, as are trouts and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

Just before the Scientific Revolution, there was a "Mathematical Revolution", heavily based on geometrical and machine diagrams. The "faculty of imagination" (now called scientific visualization) was developed to allow 3D understanding of planetary motion, human anatomy and the workings of machines. 1543 saw the publication of the heavily geometrical work of Copernicus and Vesalius, as well as the first Italian translation of Euclid.

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian (...) (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)

Programs of drug testing welfare recipients are increasingly common in US states and have been considered elsewhere. Though often intensely debated, such programs are complicated to evaluate because their aims are ambiguous – aims like saving money may be in tension with aims like referring people to treatment. We assess such programs using a proportionality approach, which requires that for ethical acceptability a practice must be: reasonably likely to meet its aims, sufficiently important in purpose as to outweigh harms incurred, (...) and lower in costs than feasible alternatives. In the light of empirical findings, we argue that the programs fail the three requirements. Pursuing recreational drug users is not important in the light of costs incurred, while dependent users who may require referral are usually identifiable without testing and typically need a broader approach than one focussing on drugs. Drug testing of welfare recipients is therefore not ethically acceptable policy. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

Modern philosophy of mathematics has been dominated by Platonism and nominalism, to the neglect of the Aristotelian realist option. Aristotelianism holds that mathematics studies certain real properties of the world – mathematics is neither about a disembodied world of “abstract objects”, as Platonism holds, nor it is merely a language of science, as nominalism holds. Aristotle’s theory that mathematics is the “science of quantity” is a good account of at least elementary mathematics: the ratio of two heights, for example, is (...) a perceivable and measurable real relation between properties of physical things, a relation that can be shared by the ratio of two weights or two time intervals. Ratios are an example of continuous quantity; discrete quantities, such as whole numbers, are also realised as relations between a heap and a unit-making universal. For example, the relation between foliage and being-a-leaf is the number of leaves on a tree,a relation that may equal the relation between a heap of shoes and being-a-shoe. Modern higher mathematics, however, deals with some real properties that are not naturally seen as quantity, so that the “science of quantity” theory of mathematics needs supplementation. Symmetry, topology and similar structural properties are studied by mathematics, but are about pattern, structure or arrangement rather than quantity. (shrink)

Effective quantum field theories are effective insofar as they apply within a prescribed range of length-scales, but within that range they predict and describe with extremely high accuracy and precision. The effectiveness of EFTs is explained by identifying the features—the scaling behaviour of the parameters—that lead to effectiveness. The explanation relies on distinguishing autonomy with respect to changes in microstates, from autonomy with respect to changes in microlaws, and relating these, respectively, to renormalizability and naturalness. It is claimed that the (...) effectiveness of EFTs is a consequence of each theory’s autonomyms rather than its autonomyml.1Introduction2Renormalizability2.1Explaining renormalizability3Naturalness3.1An unnatural but renormalizable theory4Two Kinds of Autonomy5The Effectiveness of Effective Quantum Field Theories6Conclusion. (shrink)